How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks for (...) a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

Stephen Wolfram has recently outlined an unorthodox, multicomputational approach to fundamental theory, encompassing not only physics but also mathematics in a structure he calls The Ruliad, understood to be the entangled limit of all possible computations. In this framework, physical laws arise from the the sampling of the Ruliad by observers (including us). This naturally leads to several conceptual issues, such as what kind of object is the Ruliad? What is the nature of the observers carrying out the sampling, and (...) how do they relate to the Ruliad itself? What is the precise nature of the sampling? This paper provides a philosophical examination of these questions, and other related foundational issues, including the identification of a limitation that must face any attempt to describe or model reality in such a way that the modeller-observers are included. (shrink)

Pointing to similarities between challenges encountered in today's neural coding and twentieth-century behaviorism, we draw attention to lessons learned from resolving the latter. In particular, Perceptual Control Theory posits behavior as a closed-loop control process with immediate and teleological causes. With two examples, we illustrate how these ideas may also address challenges facing current neural coding paradigms.

We posit a cognitive account of the puzzle of ideography, which complements the standardization account of Morin. Efficient standardization of spoken language is phenomenologically attributed to a modality effect coupled with chunking of cognitive representations, further aided by multisensory integration and the serialized nature of attention. These mechanisms explain why languages dominate graphic codes for general-purpose communication.